//$(document).ready(function() {
//    refresh_console();
//});
